((v1 v2 9) (v1 v3 7) (v2 v3 2) (v1 v4 7) (v2 v4 6) (v3 v4 9) (v1 v5 8) (v2 v5 3) (v3 v5 3) (v4 v5 2) (v1 v6 8) (v2 v6 4) (v3 v6 0) (v4 v6 3) (v5 v6 3))
67
((v3 v4) (v2 v1) (v6 v5))